21. Formal modeling :
پدیدآورنده : Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
22. Function and Regulation of Cellular Systems
پدیدآورنده : edited by Andreas Deutsch, Jonathon Howard, Martin Falcke, Walter Zimmermann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biology-- Data processing.,Computer simulation.,Mathematics.,Physiology-- Mathematics.,Systems theory.
23. Fundamentals of network biology /
پدیدآورنده : WenJun Zhang (Sun Yat-sen University, China).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bioinformatics.,Biometry-- Data processing.,Systems biology-- Methodology.,Bioinformatics.,Biometry-- Data processing.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH323
.
5
.
Z45
2018
24. Handbook of research on computational methodologies in gene regulatory networks /
پدیدآورنده : Sanjoy Das [and others], editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Genetic regulation-- Mathematical models, Handbooks, manuals, etc.,Computational Biology-- methods.,Computer Simulation.,Gene Regulatory Networks.,Models, Genetic.,Genetic regulation-- Mathematical models.,SCIENCE-- Life Sciences-- Genetics & Genomics.
رده :
QH450
.
H36
2010
25. IUTAM Symposium on Model Order Reduction of Coupled Systems, Stuttgart, Germany, May 22--25, 2018 :
پدیدآورنده : editors, Jörg Fehr and Bernard Haasdonk.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical models.,Mathematical models.
رده :
TA342
26. Image Analysis, Random Fields and Markov Chain Monte Carlo Methods
پدیدآورنده : by Gerhard Winkler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer simulation.,Computer vision.,Distribution (Probability theory).,Mathematics.,Medical radiology.,Numerical analysis.
27. Immunological bioinformatics /
پدیدآورنده : Ole Lund .. [and others].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Bioinformatics.,Immunoinformatics.,Immunology-- Mathematical models.,Machine learning.,Molecular biology-- Computer simulation.,Neural networks (Computer science),Computational Biology-- methods.,Immune System.,Neural Networks (Computer)
رده :
QR182
.
2
.
I46
I465
2005
28. In silico systems biology
پدیدآورنده : edited by Maria Victoria Schneider.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Systems biology, Laboratory manuals.,Computer Simulation.,Models, Theoretical.,Systems Biology-- methods.
29. In silico systems biology
پدیدآورنده : edited by Maria Victoria Schneider.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Systems biology, Laboratory manuals.,Computer Simulation.,Models, Theoretical.,Systems Biology-- methods.
30. Information Processing in Medical Imaging :
پدیدآورنده : edited by Stephen L. Bacharach.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Medical radiology.,Medicine.,Nuclear medicine.
رده :
RC78
.
7
.
D53
E358
1986
31. Intelligent Tutoring Systems :
پدیدآورنده : edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Information systems.,Multimedia systems.
32. Introduction to protein structure prediction :
پدیدآورنده : Huzefa Rangwala, George Karypis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Proteins-- Structure-- Computer simulation.,Proteins-- Structure-- Mathematical models.,Analytical, Diagnostic and Therapeutic Techniques and Equipment,Biochemical Phenomena.,Chemical Phenomena.,Computer Simulation.,Computing Methodologies.,Information Science.,Investigative Techniques,Models, Theoretical.,Molecular Conformation.,Molecular Structure.,Phenomena and Processes,Protein Conformation.,Proteins-- Structure-- Computer simulation.,Proteins-- Structure-- Mathematical models.,SCIENCE-- Life Sciences-- Biochemistry.
رده :
QP551
.
R225
2010
33. Modeling and Simulation in Medicine and the Life Sciences
پدیدآورنده : by Frank C. Hoppensteadt, Charles S. Peskin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ecology.,Mathematics.,Physiology-- Mathematics.
34. Modeling and analysis of local area networks /
پدیدآورنده : Paul J. Fortier, George R. Desrochers.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Local area networks (Computer networks),Local area networks (Computer networks)-- Mathematical models.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Local area networks (Computer networks),Local area networks (Computer networks)-- Mathematical models.
رده :
TK5105
.
7
35. Modeling and simulation of computer networks and systems :
پدیدآورنده : edited by Mohammad S. Obaidat, Petros Nicopolitidis, Faouzi Zarai
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Computer simulation,Computer networks-- Mathematical models,Simulation methods
رده :
TK5105
.
5
36. Modeling for all scales :
پدیدآورنده : Howard T. Odum, Elisabeth C. Odum.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Biological models.,Computer simulation.,Ecology-- Simulation methods.,System analysis.,Écologie-- Simulation, Méthodes de.,Modèles biologiques.,Biological models.,Computer simulation.,Ecology-- Simulation methods.,NATURE-- Ecology.,NATURE-- Ecosystems & Habitats-- Wilderness.,SCIENCE-- Environmental Science (see also Chemistry-- Environmental),SCIENCE-- Life Sciences-- Ecology.,System analysis.
رده :
QA76
.
9
.
C65
O38
2000eb
37. Models of neurons and perceptrons :
پدیدآورنده : Andrzej Bielecki.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Neurons-- Simulation methods.,Neurons.,Artificial intelligence.,Computational complexity.,Computational intelligence.,Engineering.,Neural networks (Computer science),Neurobiology.
رده :
QP363
.
B54
2019
38. Network intelligence meets user centered social media networks /
پدیدآورنده : Reda Alhajj, H. Ulrich Hoppe, Tobias Hecking, Piotr Bródke, Przemyslaw Kazienko, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer bootstrapping.,Computer networks-- Mathematical models.,Online social networks.,Combinatorics & graph theory.,Computer bootstrapping.,Computer networks-- Mathematical models.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Data mining.,Mathematical physics.,Online social networks.,Sales & marketing.,Social sciences-- Computer programs.,Social sciences-- Data processing.,Society & social sciences.
رده :
TK5105
.
5
39. New Directions for Operations Research in Manufacturing :
پدیدآورنده : edited by Günter Fandel, Thomas Gulledge, Albert Jones.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business planning.,Mathematics.,Operations research.
رده :
TS155
.
A1
E358
1992
40. New trends in emerging complex real life problems :
پدیدآورنده : Patrizia Daniele, Laura Scrimali, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical optimization, Congresses.,Operations research, Congresses.,Mathematical optimization.,Operations research.
رده :
QA402
.
5
.
I58
2018
